completion of metric space